Eiffel Software - PDFSEARCH.IO - Document Search Engine

Eiffel Software
Results: 113

#	Item
31	CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs Dirk Beyer and Claus Lewerentz Software Systems Engineering Research Group Technical University Cottbus, Germany {db \| cl}@informatik.tu-cottbus.de 1. Intr Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Computing Object-oriented design Software design pattern Class Design Patterns Object Inheritance Anti-pattern Eiffel Software engineering Object-oriented programming Computer programming
32	D ISS . ETH N OCorrectness and Execution of Concurrent Object-Oriented Programs Add to Reading List Source URL: bitbucket.org Language: English - Date: 2015-04-22 12:43:55 Concurrency control Transaction processing Object-oriented programming SCOOP Concurrency Data management EiffelStudio Concurrent computing Eiffel Computing Computer programming Software engineering
33	. Best Practices Steve McConnell Add to Reading List Source URL: www.stevemcconnell.com Language: English - Date: 2007-03-02 18:14:34 C Cross-platform software Abstract data type Abstraction Eiffel MUMPS syntax Software engineering Computing Computer programming
34	A On Contract Satisfaction in a Higher-Order World CHRISTOS DIMOULAS and MATTHIAS FELLEISEN, Northeastern University, Boston, MA Behavioral software contracts have become a popular mechanism for specifying and ensuring l Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Models of computation Logic in computer science Programming language semantics Racket Denotational semantics Eiffel Matthias Felleisen Design by contract Lambda calculus Software engineering Computing Computer programming
35	Feature-Specific Profiling Vincent St-Amour, Leif Andersen, and Matthias Felleisen PLT @ Northeastern University {stamourv,leif,matthias}@ccs.neu.edu Abstract. High-level languages come with significant readability and Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Profilers Subroutines Racket Profiling Continuation Pin Eiffel Call stack Assertion Software engineering Computer programming Computing
36	A Contracts for First-Class Classes T. STEPHEN STRICKLAND, CHRISTOS DIMOULAS, ASUMU TAKIKAWA, and MATTHIAS FELLEISEN, Northeastern University, Boston, MA[removed]First-class classes enable programmers to abstract over pat Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Object-oriented programming Racket Design by contract Stack Eiffel Java Subtype polymorphism Constructor Matthias Felleisen Software engineering Computing Computer programming
37	C++?? A Critique of C++ and Programming and Language Trends of the 1990s 3rd Edition Ian Joyner Add to Reading List Source URL: www.quinn.echidna.id.au Language: English - Date: 2013-12-02 18:22:25 Cross-platform software Programming paradigms Object-oriented programming C++ Eiffel Type system Programming language C Abstraction Software engineering Computing Computer programming
38	Reasoning about Asynchronous Method Calls and Inheritance Johan Dovland, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract This paper considers the problem of reusing synchronizatio Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-12-12 13:57:58 Object-oriented programming Inheritance Objective-C Class invariant Multiple inheritance Lock Eiffel Asynchronous method invocation Class Software engineering Computer programming Computing
39	Optimizations of Eiffel programs: SmallEiffel, The GNU Eiffel Compiler Dominique COLNET, Olivier ZENDRA {colnet, zendra}@loria.fr LORIA UMR 7503 Add to Reading List Source URL: smarteiffel.loria.fr Language: English - Date: 2007-07-11 14:08:32 Object-oriented programming Cross-platform software Eiffel Subroutines Type theory Data types Constructor Type system C Software engineering Computing Computer programming
40	Vol. 3, No. 4 Special issue: TOOLS USA 2003 Conformance of agents in the Eiffel language Philippe Ribet, Cyril Adrian, Olivier Zendra and Dominique Colnet LORIA (INRIA - CNRS - University Henri Poincar´e) Vandœuvre-l`e Add to Reading List Source URL: smarteiffel.loria.fr Language: English - Date: 2007-07-11 14:08:32 Object-oriented programming Subroutines Eiffel Type theory Parameter Tuple Pointer C Foreach loop Software engineering Computing Computer programming

UPDATE